منابع مشابه
A Machine-Verified Code Generator
We consider the machine-supported verification of a code generator computing machine code from WHILE-programs, i.e. abstract syntax trees which may be obtained by a parser from programs of an imperative programming language. We motivate the representation of states developed for the verification, which is crucial for success, as the interpretation of tree-structured WHILE-programs differs signi...
متن کاملTowards the Light - Comparing Evolved Neural Network Controllers and Finite State Machine Controllers
In this paper, we compare two different evolvable controller models based on their performance for a simple robotic problem, where a robot has to find a light source using two luminance sensors. The first controller is a fully meshed artificial neural network. Though neural networks are the most common type of controllers used in evolutionary robotics, validating and understanding the resulting...
متن کاملA verified abstract machine for functional coroutines
Functional coroutines are a restricted form of control mechanism, where each coroutine is represented with both a continuation and an environment. This restriction was originally obtained by considering a constructive version of Parigot’s classical natural deduction which is sound and complete for the Constant Domain logic. In this article, we present a refinement of de Groote’s abstract machin...
متن کاملA Machine Verified Distributed Sorting Algorithm
ion and function application. We no longer need to include the syntax and semantics of data expressions and we can borrow \o -the-shelf" lemmas about data domains (e.g., that multiplication is commutative). The correctness of the ALF representation is given in [HPP95]. 1.1 Outline of the paper In the rest of this section we explain, informally, the parallel sorting algorithm we verify and discu...
متن کاملIncremental Linear Controllers Network
The aim of this study is to introduce the Incremental Linear Controllers Network (ILCN). This algorithm consists of a linear controllers network (LCN) and a progressive control design algorithm (PCD). The LCN is a network of linear controllers each one being valid for a diierent operating region of the system. Such a control system can be used for the control of a (possibly discontinuous non li...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2013
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2499370.2462178